lub and glb in discrete mathematics